∀(xs : List Text) → Text
